Hi all, I was wondering is there anything close to or similar function/method that can be used to determine if a combination of 2 values are tautology (a statement that is always true). It is a basic logic statements in mathematics if p then q (p → q), p or q ( p v q), p and q (p ^ q), p happens i…

Package or method to determine truth table or is a statement is a Tautology?

guilhermebodin July 19, 2022, 4:39pm 7

You could also try to use GitHub - eliascarv/TruthTables.jl: Create truth tables in Julia! directly and try to query the last column

1 Like

Topic		Replies	Views
Help with macro to construct truth tables General Usage macros	9	1072	May 22, 2021
Parenthesizing conditions New to Julia	3	241	April 25, 2022
How I made a new, very hard logic puzzle using Julia General Usage puzzles	0	147	December 29, 2024
Boolean short circuit "fusion" General Usage	20	2071	January 15, 2019
Check if a combination of values exists across two rows New to Julia	3	340	July 13, 2020