reading source code and giving math interpretation

static int selinux_enabled = 0;

The value of variable "selinux_enabled" is
constant 0 of integer type which is not allowed to change.
value of selinux_enabled is constant 0 is Proposition p.
variable selinux_enabled is of type integer is Proposition q .
value of selinux_enabled is not allowed to change is Proposition r.

texttt {So. p is true if } q ; wedge ; r \
texttt{So P is a compound proposition or conjuction.}


Leave a Reply

Your email address will not be published. Required fields are marked *