Metadata
Author: Literature
Data
English[en]
Thus, F is satis able. 2 The satisability problem is: Given a boolean expression, is it satis able?
Spanish[es]
Por tanto, F es satisfacible. 2 El problema de la satisfacibilidad es: Dada una expresión booleana, ¿es satisfacible?