The IT Law Wiki


32,062pages on
this wiki
Add New Page
Add New Page Talk0

Definition Edit

In mathematical logic, a formula is satisfiable if it is possible to find an interpretation that makes the formula true.[1]

References Edit

  1. Framework for Cyber-Physical Systems, at 16.

Also on Fandom

Random Wiki